ارائه روشی رسمی برای ارزیابی عملکرد ماشین قلب - ریه

thesis
abstract

با توجه به اینکه پیچیدگی سیستم های کامپیوتری زیاد است، امکان خطا در طراحی سخت افزارها و نرم افزارها هم زیاد می باشد. به علاوه کاربرد سیستم های کامپیوتری پیچیده در سیستم های ایمنی- حیاتی مثل سیستم های حمل و نقل، سیستم های هواپیمایی، سیستم های پزشکی و صنایع شیمیایی زیاد است. به این دلیل اعتبارسنجی سیستم ها و تعیین صحت مراحل طراحی و پیاده سازی فعالیت مهمی در طراحی اینگونه سیستم ها شده است.در علم کامپیوتر وارسی مدل به مسائل زیر اشاره دارد: بدست آوردن مدلی از سیستم، تست خودکار اینکه آیا این مدل با خصوصیات تعیین شده مواجه می شود و تشخیص وجود احتیاجات امنیت از قبیل عدم وجود بن بست و حالت های بحرانی مشابه که سیستم را به شکست می رساند. یکی از شاخه هایی که از سیستم های کامپیوتری زیادی استفاده می کند شاخه پزشکی است. در حال حاضر هر سال هزاران جراحی قلب انجام می شود. ماشین قلب-ریه ماشینی است که در جراحی هایی که نیاز دارند قلب ساکن باشد بکار می رود و وظایف قلب و ریه را به عهده می گیرد. اگر این ماشین درست عمل نکند آسیب های جدی به بیمار وارد می شود. حتی در بعضی موارد منجر به مرگ می شود. ما در این پایان نامه رفتار ماشین قلب - ریه را با استفاده از یکی از ابزارهای وارسی مدل مدلسازی کرده ایم. با توجه به اهمیت زمان در عملکرد این سیستم از ابزار uppaal استفاده نموده ایم که ماشین های خودکار زمانی را پشتیبانی می کند. uppaal اعتبار خصوصیات مهم سیستم را با جستجوی جامع روی فضای حالت سیستم بررسی می کند. در نهایت از بد عمل نکردن سیستم و صحت خصوصیات آن اطمینان کسب می کنیم.

First 15 pages

Signup for downloading 15 first pages

Already have an account?login

similar resources

ارائه یک روش رسمی جهت اعتبارسنجی ماشین قلب-ریه

مقدمه: رخداد خطا در سیستم های کامپیوتری، مخصوصاً سیستم هایی که در پزشکی استفاده می شوند، می تواند منجر به صدمات جبران ناپذیری شود. بنا بر این وارسی چنین سیستم هایی اهمیت زیادی دارد. چک کردن مدل یکی از روش هایی است که برای اطمینان از عدم وجود خطا در یک مدل استفاده می شود. ماشین قلب-ریه ماشینی است که در جراحی هایی که نیاز است قلب ساکن باشد به کار می رود و وظایف قلب و ریه را به عهده می گیرد. هدف از...

full text

ارائه یک روش رسمی جهت اعتبارسنجی ماشین قلب-ریه

مقدمه: رخداد خطا در سیستم های کامپیوتری، مخصوصاً سیستم هایی که در پزشکی استفاده می شوند، می تواند منجر به صدمات جبران ناپذیری شود. بنا بر این وارسی چنین سیستم هایی اهمیت زیادی دارد. چک کردن مدل یکی از روش هایی است که برای اطمینان از عدم وجود خطا در یک مدل استفاده می شود. ماشین قلب-ریه ماشینی است که در جراحی هایی که نیاز است قلب ساکن باشد به کار می رود و وظایف قلب و ریه را به عهده می گیرد. هدف از...

full text

جراحی بای پس عروق کرونر بدون استفاده از ماشین قلب- ریه: روشی مطمئن برای ریواسکولاریزیشن کامل

In recent years off-pump coronary artery bypass surgery (OPCAB) has emerged as preferred method for revascularization of coronary arteries in relatively selected group of patients. Considering patients receiving incomplete revascularization need significantly higher postoperative catheterization and re-intervention (PTCA or CABG), we performed this study to identify safety and feasibility of th...

full text

ارائه روشی برای پیش‌پردازش تصویر جهت بهبود عملکرد JPEG

A lot of researchs have been performed in image compression and different methods have been proposed. Each of the existing methods presents different compression rates on various images. By identifing the effective parameters in a compression algorithm and strengthen them in the preprocessing stage, the compression rate of the algorithm can be improved. JPEG is one of the successful compression...

full text

ارائه روشی جدید برای ارزیابی قابلیت اعتماد سازه‌ها

تخمین مناسب شاخص سلامتی جهت برآورد احتمال خرابی در تحلیل قابلیت اعتماد سازه‌ها حائز اهمیت است. بدین منظور روش‌هایی از جمله: روش Hasofer-Lind و روش‌های مبتنی بر بردار گرادیان به طور وسیعی مورد استفاده قرار گرفته‌اند. در این مقاله روش جدیدی مبتنی بر روش بهینه‌سازی گرادیان مزدوج غیرخطی، جهت محاسبه شاخص سلامتی سازه‌ها پیشنهاد شده است. ضمن معرفی روش پیشنهادی، با حل چند مثال کارایی و توانایی آن مورد ...

full text

بهبود کار‌ایی پردازنده سیگنال دستگاه حلزون شنوایی مصنوعی و ارائه روشی برای ارزیابی عملکرد آن

حلزون شنوایی مصنوعی دستگاهی الکترونیکی است که هم اکنون به منزلة راه حلی مناسب برای رفع نقص شنوایی در افراد ناشنوا به شمار می آید. این دستگاه با کنارگذاشتن بخش های معیوب سیستم شنوایی و انتقال مستقیم داده های صوتی به عصب های شنوایی باعث بازگشت نسبی شنوایی می شود. این دستگاه تاکنون باوجود پیشرفت های فراوان، هنوز کارایی ایده آلی ندارد و تلاش ها برای بهبود آن ادامه دارد. یکی از مهم ترین چالش ها در ا...

full text

My Resources

Save resource for easier access later

Save to my library Already added to my library

{@ msg_add @}


document type: thesis

وزارت علوم، تحقیقات و فناوری - دانشگاه اراک

Hosted on Doprax cloud platform doprax.com

copyright © 2015-2023